241. Financial cryptography and data security :
پدیدآورنده : Andrew A. Adams, Michael Brenner, Matthew Smith (eds).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security -- Congresses.,Sécurité informatique -- Congrès.,User-centered system design -- Congresses.
رده :
QA76
.
9
.
A25
A537
2013
242. Financial cryptography and data security :
پدیدآورنده : Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,User-centered system design, Congresses.,Computer security.,Data encryption (Computer science),User-centered system design.
رده :
QA76
.
9
.
A25
243. Fixing Bad UX Designs :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : User interfaces (Computer systems),User-centered system design.,Computers-- Data Modeling & Design.,Computers-- Digital Media-- Graphics Applications.,Computers-- User Interfaces.,Database design & theory.,Graphical & digital media applications.,Information architecture.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.
رده :
QA76
.
9
.
U83
.
M356
2018eb
244. Formal methods for dynamical systems
پدیدآورنده : Marco Bernardo ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,System design, Congresses
رده :
QA76
.
9
.
F67
.
I58
2013
245. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
246. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
247. Formal methods for software architectures :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Computer architecture ; System design ; Formal methods (Computer science) ;
248. Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software,، Computer architecture,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2804
249. Formal specification and documentation Using Z: a case study approach
پدیدآورنده : Bowen, Jonathan Peter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
250. Foundations for designing user-centered systems :
پدیدآورنده : Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Human-computer interaction.,User-centered system design.,Computer Science.,Software Engineering.,User Interfaces and Human Computer Interaction.
رده :
QA76
.
9
.
H85
251. Foundations for designing user-centered systems :
پدیدآورنده : Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Human-computer interaction.,User-centered system design.,Human-computer interaction.,User-centered system design.
رده :
QA76
.
9
.
H85
252. Foundations of Augmented Cognition
پدیدآورنده : \ Dylan D. Schmorrow , Cali M. Fidopiastis (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : User-centered system design -- Congresses.,Human-computer interaction -- Congresses.,Cognition -- Congresses,طراحی سیستم کاربرمدار -- کنگره ها ,انسان و کامپیوتر -- کنگرهها ,شناخت -- کنگره ها
رده :
QA
76
.
9
.
H85F6
2015
E-Book
,
253. Foundations of augmented cognition :
پدیدآورنده : Dylan D. Schmorrow, Cali M. Fidopiastis (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cognition, Congresses,Human-computer interaction, Congresses,User-centered system design, Congresses
رده :
QA76
.
9
.
U83
I58
2011
254. Frameworks of IT prosumption for business development
پدیدآورنده : [edited by] Matgorzata Pankowska
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Business enterprises -- Technological innovations,Decision support systems,User-centered system design,Computer software -- Development -- Social aspects,Business enterprises--Computer networks--Security measures
255. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
پدیدآورنده : Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
رده :
QA
76
.
L28
Vol
.
2635
256. Function/architecture optimization and co-design of embedded systems
پدیدآورنده : Tabbara, Bassam
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Design and construction ، Embedded computer systems,، System design
رده :
TK
7895
.
E42
T33
257. Fundamental modeling concepts: effective communication of IT systems
پدیدآورنده : Knopfel, Andreas
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Management information systems,، Computer architecture,، System design-- Methodology
رده :
T
58
.
6
.
K594
2005
258. Fundamental modeling concepts: effective communication of IT systems
پدیدآورنده : Knopfel, Andreas
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Management information systems,، Computer architecture,Methodology ، System design
رده :
T
58
.
6
.
K594
259. Fundamental modeling concepts : effective communication of IT systems
پدیدآورنده : Knopfel, Andreas
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Management information systems,، Computer architecture,Methodology ، System design
رده :
T
58
.
6
.
K58F8